Buy Used and New P.H. Schmitt Books

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications: 8 (Applied Logic Series)

by Wolfgang Bibel,P.H. Schmitt

ISBN 13: 9789048150502

Format: Paperback (504 pages)
Publisher: Springer
Published: 09 Dec 2010

Save for later